Special Section on VMCAI 2009JONES, Neil D; MÜLLER-OLM, Markus.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 6, issn 1433-2779, 111 p.Serial Issue

Are web applications more defect-prone than desktop applications?TORCHIANO, Marco; RICCA, Filippo; MARCHETTO, Alessandro et al.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 2, pp 151-166, issn 1433-2779, 16 p.Conference Paper

Crawlability metrics for automated web testingMARCHETTO, Alessandro; TIELLA, Roberto; TONELLA, Paolo et al.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 2, pp 131-149, issn 1433-2779, 19 p.Conference Paper

MontiCore: a framework for compositional development of domain specific languagesKRAHN, Holger; RUMPE, Bernhard; VÖLKEL, Steven et al.International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 5, pp 353-372, issn 1433-2779, 20 p.Article

Special Section on VSTTE 2008International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 6, issn 1433-2779, 77 p.Conference Proceedings

Improved usability and performance of SMT solvers for debugging specificationsCOK, David R.International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 6, pp 467-481, issn 1433-2779, 15 p.Conference Paper

LTL satisfiability checkingROZIER, Kristin Y; VARDI, Moshe Y.International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 2, pp 123-137, issn 1433-2779, 15 p.Conference Paper

An abstraction-based decision procedure for bit-vector arithmetic : TACAS07BRYANT, Randal E; KROENING, Daniel; OUAKNINE, Joël et al.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 2, pp 95-104, issn 1433-2779, 10 p.Article

Special Section on SpinVALMARI, Antti.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 1, issn 1433-2779, 83 p.Serial Issue

Checking the reliability of socket based communication softwareDE LA CAMARA, Pedro; DEL MAR GALLARDO, Maria; MERINO, Pedro et al.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 5, pp 359-374, issn 1433-2779, 16 p.Article

Web Systems EvolutionRICCA, Filippo; CHAO, Liu.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 6, issn 1433-2779, 98 p.Conference Proceedings

A pilot project for migrating COBOL code to web servicesSNEED, Harry M.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 6, pp 441-451, issn 1433-2779, 11 p.Conference Paper

From objects to services: toward a stepwise migration approach for Java applicationsMARCHETTO, Alessandro; RICCA, Filippo.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 6, pp 427-440, issn 1433-2779, 14 p.Conference Paper

FAST : acceleration from theory to practiceBARDIN, Sébastien; FINKEL, Alain; LEROUX, Jerome et al.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 5, pp 401-424, issn 1433-2779, 24 p.Article

Testing hybrid control systems with TTCN-3 : an overview on continuous TTCN-3SCHIEFERDECKER, Ina; GROSSMANN, Juergen.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 4, pp 383-400, issn 1433-2779, 18 p.Article

Formal verification of the NASA runway safety monitorSIMINICEANU, Radu I; CIARDO, Gianfranco.International journal on software tools for technology transfer (Print). 2007, Vol 9, Num 1, pp 63-76, issn 1433-2779, 14 p.Article

CCDL : the composable components description languageSORA, Ioana; VERBAETEN, Pierre; BERBERS, Yolande et al.International journal on software tools for technology transfer (Print). 2007, Vol 9, Num 2, pp 155-168, issn 1433-2779, 14 p.Conference Paper

Coloured Petri NetsJENSEN, Kurt.International journal on software tools for technology transfer (Print). 2007, Vol 9, Num 3-4, issn 1433-2779, 203 p.Serial Issue

Formal specification and state space analysis of an operational planning processMITCHELL, Brice; KRISTENSEN, Lars Michael; LIN ZHANG et al.International journal on software tools for technology transfer (Print). 2007, Vol 9, Num 3-4, pp 255-267, issn 1433-2779, 13 p.Article

Modelling work distribution mechanisms using Colored Petri NetsPESIC, Maja; VAN DER AALST, Wil M. P.International journal on software tools for technology transfer (Print). 2007, Vol 9, Num 3-4, pp 327-352, issn 1433-2779, 26 p.Article

Modular state space exploration for timed petri netsLAKOS, C; PETRUCCI, L.International journal on software tools for technology transfer (Print). 2007, Vol 9, Num 3-4, pp 393-411, issn 1433-2779, 19 p.Article

Fundamental approaches to software engineeringWERMELINGER, Michel; MARGARIA, Tiziana; CERIOLI, Maura et al.International journal on software tools for technology transfer (Print). 2007, Vol 9, Num 5-6, issn 1433-2779, 130 p.Serial Issue

System architecture evaluation using modular performance analysis : a case study : Quantitative analysis of real-time embedded systemsWANDELER, Ernesto; THIELE, Lothar; VERHOEF, Marcel et al.International journal on software tools for technology transfer (Print). 2006, Vol 8, Num 6, pp 649-667, issn 1433-2779, 19 p.Article

On a time enriched OCL liveness templateKUSTER-FILIPE, Juliana; ANDERSON, Stuart.International journal on software tools for technology transfer (Print). 2006, Vol 8, Num 2, pp 156-166, issn 1433-2779, 11 p.Conference Paper

What the small Rubik's cube taught me about data structures, information theory, and randomisationVALMARI, Antti.International journal on software tools for technology transfer (Print). 2006, Vol 8, Num 3, pp 180-194, issn 1433-2779, 15 p.Article